# -*- mode: snippet -*-
# name: Set Default Proof Using
# --
Set Default Proof Using
